1. Proof technology and computation /
Author: edited by Helmut Schwichtenberg and Katharina Spies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
Classification :
QA76
.
9
.
A96
N38
2003eb
2. The programming and proof system ATES advanced techniques integration into efficient scientific software
Author: Armand Puccetti (ed.). With contrib. by D. Brocard ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer programming.,Computer software -- Development.
